Models of inductive synthesis
نویسندگان
چکیده
منابع مشابه
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the given domain rules. To synthesize such programs, induction is necessary. We propose heuristics for generalizing from a sequence of deductive consequences. These are combined with rewrite-based methods of inductive proof...
متن کاملInductive Learning of Synthesis Knowledge
Even though synthesis is a crucial process in engineering design, synthesis knowledge is scarce. Previous studies in the use of machine learning techniques for design domains have concentrated mainly on learning analysis, rather than synthesis, knowledge. This study shows how synthesis knowledge can be acquired by concept formation. The paper evaluates the concept formation program COBWEB, disc...
متن کاملIsaCoSy: Synthesis of Inductive Theorems
We have implemented a program for inductive theory formation, called IsaCoSy, which synthesises conjectures about recursively defined datatypes and functions. Only irreducible terms are generated, which keeps the search space tractably small. The synthesised terms are filtered through counter-example checking and then passed on to the automatic inductive prover IsaPlanner. Experiments have give...
متن کاملBayesian Models of Inductive Generalization
We argue that human inductive generalization is best explained in a Bayesian framework, rather than by traditional models based on similarity computations. We go beyond previous work on Bayesian concept learning by introducing an unsupervised method for constructing flexible hypothesis spaces, and we propose a version of the Bayesian Occam’s razor that trades off priors and likelihoods to preve...
متن کاملParallel Programming with Inductive Synthesis
We show that program synthesis can generate GPU algorithms as well as their optimized implementations. Using the scan kernel as a case study, we describe our evolving synthesis techniques. Relying on our synthesizer, we can parallelize a serial problem by transforming it into a scan operation, synthesize a SIMD scan algorithm, and optimize it to reduce memory conflicts.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1990
ISSN: 0743-1066
DOI: 10.1016/0743-1066(90)90041-3